Guermouche, Nawal: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (37)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

[ACM Press International Conference - Vienna, Austria (2013.12.02-2013.12.04)] Proceedings of International Conference on Information Integration and Web-based Applications & Services - IIWAS '13 - Toward a Time-centric modeling of Business Processes in BPMN 2.0

Cheikhrouhou, Saoussen, Kallel, Slim, Guermouche, Nawal, Jmaiel, Mohamed

Рік:

2013

Мова:

english

Файл:

PDF, 811 KB

english, 2013

2

[IEEE 2016 IEEE Symposium on Computers and Communication (ISCC) - Messina, Italy (2016.6.27-2016.6.30)] 2016 IEEE Symposium on Computers and Communication (ISCC) - Time patterns for cyber-physical systems

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj

Рік:

2016

Мова:

english

Файл:

PDF, 583 KB

english, 2016

3

[IEEE 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2016.6.13-2016.6.15)] 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj

Рік:

2016

Мова:

english

Файл:

PDF, 329 KB

english, 2016

4

A comprehensive survey on modeling of cyber-physical systems

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Cheikhrouhou, Saoussen, Hadj Kacem, Ahmed

Журнал:

Concurrency and Computation: Practice and Experience

Рік:

2018

Мова:

english

Файл:

PDF, 1.43 MB

english, 2018

5

Modelling and verifying time-aware processes for cyber-physical environments

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Cheikhrouhou, Saoussen, Hadj Kacem, Ahmed

Журнал:

Рік:

2019

Мова:

english

Файл:

PDF, 12 KB

english, 2019

6

A systematic literature review on BPMN extensions

Zarour, Karim, Benmerzoug, Djamel, Guermouche, Nawal, Drira, Khalil

Журнал:

Business Process Management Journal

Рік:

2019

Файл:

PDF, 843 KB

2019

7

Timed Specification For Web Services Compatibility Analysis

Nawal Guermouche, Olivier Perrin, Christophe Ringeissen

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 342 KB

english, 2008

8

Towards error-handling-aware choreography to orchestration transformation approach

Rebai, Sirine, Guermouche, Nawal, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

Журнал:

International Journal of Collaborative Enterprise

Рік:

2013

Мова:

english

Файл:

PDF, 763 KB

english, 2013

9

Timed Verification of Machine-to-Machine communications

Gharbi, Ghada, Guermouche, Nawal, Monteil, Thierry

Журнал:

Procedia Computer Science

Рік:

2014

Мова:

english

Файл:

PDF, 877 KB

english, 2014

10

[IEEE 2013 IEEE 10th International Conference on e-Business Engineering (ICEBE) - Coventry, United Kingdom (2013.09.11-2013.09.13)] 2013 IEEE 10th International Conference on e-Business Engineering - Time-Aware Automatic Process View Generation

Cheikhrouhou, Saoussen, Kallel, Slim, Guermouche, Nawal, Jmaiel, Mohamed

Рік:

2013

Мова:

english

Файл:

PDF, 278 KB

english, 2013

11

[IEEE 2014 IEEE 15th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM) - Sydney, Australia (2014.6.19-2014.6.19)] Proceeding of IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks 2014 - Temporal verification of mobile publish/subscribe machine-to-machine communications

Gharbi, Ghada, Guermouche, Nawal, Monteil, Thierry

Рік:

2014

Мова:

english

Файл:

PDF, 128 KB

english, 2014

12

[IEEE 2014 IEEE International Conference on Services Computing (SCC) - Anchorage, AK, USA (2014.6.27-2014.7.2)] 2014 IEEE International Conference on Services Computing - Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

Cheikhrouhou, Saoussen, Kallel, Slim, Guermouche, Nawal, Jmaiel, Mohamed

Рік:

2014

Мова:

english

Файл:

PDF, 670 KB

english, 2014

13

[IEEE 2012 IEEE 21st International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Toulouse, Cedex 04, France (2012.06.25-2012.06.27)] 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises - MADYNE Track Report: 1st Track on Management of Dynamic Networked Enterprises

Tazi, Said, Guermouche, Nawal

Рік:

2012

Мова:

english

Файл:

PDF, 231 KB

english, 2012

14

[IEEE 2008 Sixth International Conference on Software Engineering Research, Management and Applications - Prague, Czech Republic (2008.08.20-2008.08.22)] 2008 Sixth International Conference on Software Engineering Research, Management and Applications - A Mediator Based Approach For Services Composition

Guermouche, Nawal, Perrin, Olivier, Ringeissen, Christophe

Рік:

2008

Мова:

english

Файл:

PDF, 309 KB

english, 2008

15

[IEEE 2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE) - Parma, Italy (2014.6.23-2014.6.25)] 2014 IEEE 23rd International WETICE Conference - Track Report of Management of Dynamic Networked Enterprises (MADYNE 2014)

Guermouche, Nawal, Tazi, Said

Рік:

2014

Мова:

english

Файл:

PDF, 96 KB

english, 2014

16

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - Privacy-Aware Web Service Protocol Replaceability

Guermouche, Nawal, Benbernou, Salima, Coquery, Emmanuel, Hacid, Mohand-Said

Рік:

2007

Мова:

english

Файл:

PDF, 173 KB

english, 2007

17

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - Graph-Based Formalism for Machine-to-Machine Self-Managed Communications

Eichler, Cedric, Gharbi, Ghada, Guermouche, Nawal, Monteil, Thierry, Stolf, Patricia

Рік:

2013

Мова:

english

Файл:

PDF, 638 KB

english, 2013

18

[IEEE 2008 IEEE International Conference on e-Business Engineering - Xian, China (2008.10.22-2008.10.24)] 2008 IEEE International Conference on e-Business Engineering - Data Messaging Based Approach for Web Service Composition

Guermouche, Nawal, Benatallah, Boualem, Godart, Claude

Рік:

2008

Мова:

english

Файл:

PDF, 421 KB

english, 2008

19

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Timed Model Checking Based Approach for Web Services Analysis

Guermouche, Nawal, Godart, Claude

Рік:

2009

Мова:

english

Файл:

PDF, 523 KB

english, 2009

20

The temporal perspective in business process modeling: a survey and research challenges

Cheikhrouhou, Saoussen, Kallel, Slim, Guermouche, Nawal, Jmaiel, Mohamed

Журнал:

Service Oriented Computing and Applications

Рік:

2015

Мова:

english

Файл:

PDF, 180 KB

english, 2015

21

[IEEE 2014 IEEE International Conference on Web Services (ICWS) - Anchorage, AK, USA (2014.6.27-2014.7.2)] 2014 IEEE International Conference on Web Services - Pruning Based Service Selection Approach Under QoS and Temporal Constraints

Guidara, Ikbel, Guermouche, Nawal, Chaari, Tarak, Tazi, Said, Jmaiel, Mohamed

Рік:

2014

Мова:

english

Файл:

PDF, 350 KB

english, 2014

22

[IEEE 2015 IEEE International Conference on Services Computing (SCC) - New York City, NY, USA (2015.6.27-2015.7.2)] 2015 IEEE International Conference on Services Computing - An Approach for Multiple-Instance Based Service Composition

Graja, Imen, Guermouche, Nawal, Kacem, Ahmed Hadj, Drira, Khalil

Рік:

2015

Мова:

english

Файл:

PDF, 395 KB

english, 2015

23

[IEEE 2015 IEEE International Conference on Web Services (ICWS) - New York, NY, USA (2015.6.27-2015.7.2)] 2015 IEEE International Conference on Web Services - Heuristic Based Time-Aware Service Selection Approach

Guidara, Ikbel, Guermouche, Nawal, Chaari, Tarak, Tazi, Said, Jmaiel, Mohamed

Рік:

2015

Мова:

english

Файл:

PDF, 319 KB

english, 2015

24

[IEEE 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Larnaca, Cyprus (2015.6.15-2015.6.17)] 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises - MADYNE 2015 Track Report: Management of Dynamic Networked Enterprises

Guermouche, Nawal, Tazi, Said

Рік:

2015

Мова:

english

Файл:

PDF, 120 KB

english, 2015

25

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - MADYNE Track Report

Tazi, Said, Guermouche, Nawal

Рік:

2013

Мова:

english

Файл:

PDF, 345 KB

english, 2013

26

[IEEE 2016 IEEE International Conference on Services Computing (SCC) - San Francisco, CA, USA (2016.6.27-2016.7.2)] 2016 IEEE International Conference on Services Computing (SCC) - Dynamic Selection for Service Composition Based on Temporal and QoS Constraints

Guidara, Ikbel, Al Jaouhari, Imane, Guermouche, Nawal

Рік:

2016

Мова:

english

Файл:

PDF, 379 KB

english, 2016

27

[IEEE 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing - Pittsburgh, United States (2012.10.14-2012.10.17)] Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing - Towards Timed Requirement Verification for Service Choreographies

Guermouche, Nawal, Dal Zilio, Silvano

Рік:

2012

Мова:

english

Файл:

PDF, 1004 KB

english, 2012

28

[IEEE 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Las Vegas, NV, USA (2017.1.8-2017.1.11)] 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems

Graja, Imen, Mechim, Aicha, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj

Рік:

2017

Мова:

english

Файл:

PDF, 424 KB

english, 2017

29

[IEEE 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Las Vegas, NV, USA (2017.1.8-2017.1.11)] 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Modeling and verification of temporal properties in cyber-physical systems

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj

Рік:

2017

Мова:

english

Файл:

PDF, 757 KB

english, 2017

30

Modelling and verifying time-aware processes for cyber-physical environments

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Cheikhrouhou, Saoussen, Hadj Kacem, Ahmed

Журнал:

Рік:

2019

Файл:

PDF, 12 KB

2019

31

[IEEE 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom) - Melbourne, Australia (2018.12.11-2018.12.13)] 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom) - An Ontology Based Context-Aware Architecture for Smart Campus Applications

Verstaevel, Nicolas, Garzone, Guillaume, Monteil, Thierry, Guermouche, Nawal, Barthelemy, Johan, Perez, Pascal

Рік:

2018

Мова:

english

Файл:

PDF, 33 KB

english, 2018

32

[IEEE 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom) - Melbourne, Australia (2018.12.11-2018.12.13)] 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom) - An Ontology Based Context-Aware Architecture for Smart Campus Applications

Verstaevel, Nicolas, Garzone, Guillaume, Monteil, Thierry, Guermouche, Nawal, Barthelemy, Johan, Perez, Pascal

Рік:

2018

Файл:

PDF, 33 KB

2018

33

Time-Dependent QoS Aware Best Service Combination Selection

Guidara, Ikbel, Guermouche, Nawal, Chaari, Tarak, Jmaiel, Mohamed, Tazi, Said

Журнал:

International Journal of Web Services Research

Рік:

2015

Мова:

english

Файл:

PDF, 758 KB

english, 2015

34

Time-aware selection approach for service composition based on pruning and improvement techniques

Guidara, Ikbel, Guermouche, Nawal, Chaari, Tarak, Jmaiel, Mohamed

Журнал:

Software Quality Journal

Рік:

2019

Файл:

PDF, 2.68 MB

2019

35

[IEEE 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS) - Granada, Spain (2019.10.22-2019.10.25)] 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS) - taAutonomous Avatar-based Architecture for Value-added Services Provision

Khadir, Karima, Guermouche, Nawal, Monteil, Thierry

Рік:

2019

Файл:

PDF, 2.14 MB

2019

36

Towards the verification of cyber-physical processes based on time and physical properties

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj

Журнал:

International Journal of Business and Systems Research

Рік:

2019

Файл:

PDF, 1.25 MB

2019

37

Self-management of machine-to-machine communications: a multi-models approach

Eichler, CÃ©dric, Gharbi, Ghada, Monteil, Thierry, Stolf, Patricia, Guermouche, Nawal

Журнал:

International Journal of Autonomous and Adaptive Communications Systems

Рік:

2016

Файл:

PDF, 716 KB

2016